Mention the bug number for the last change in make-dist.

diff --git a/ChangeLog b/ChangeLog
index 1ed9dc25885fa1ffb40717a894aa6f3fa72e8e2e..c25b54e853facb3610fb2b0d389a28fb14200854 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,6 @@
 2010-10-08  Eli Zaretskii  <eliz@gnu.org>
 
-       * make-dist: Don't distribute src/buildobj.h.
+       * make-dist: Don't distribute src/buildobj.h.  (Bug#7167)
 
 2010-06-23  Glenn Morris  <rgm@gnu.org>